Formal Methods In Software Engineering – alle Bücher

Software Engineering Methods in Systems and Network Systems

Lecture Notes in Networks and Systems -Band 909

This book presents cutting-edge research and methodologies in software engineering, specifically focusing on systems and network systems. It showcases novel development approaches and network system optim…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 175,23*

Software Engineering Methods in Systems and Network Systems

Lecture Notes in Networks and Systems -Band 934

This book presents cutting-edge research and methodologies in software engineering, specifically focusing on systems and network systems. It showcases novel development approaches and network system optim…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 197,13*

Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops

Lecture Notes in Computer Science -Band 14568

This volume constitutes the papers of two workshops which were held in conjunction with the 21st International Workshop on Software Engineering and Formal Methods, SEFM 2023 Collocated Workshops, held in …

lieferbar innerhalb 2-3 Wochen

Buch

EUR 43,80*

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies

Lecture Notes in Computer Science -Band 15222

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

lieferbar innerhalb 2-3 Wochen

Buch

EUR 72,27*

New Perspectives in Software Engineering

Studies in Computational Intelligence -Band 1135

The goal of this book is to provide a broad understanding on the New Perspectives in Software Engineering research. The advancement of computers, and mobile devices, among others, has led to the creation …

lieferbar innerhalb 2-3 Wochen

Buch

EUR 240,94*

Claes Wohlin, Per Runeson, Anders Wesslén, Magnus C. Ohlsson
Experimentation in Software Engineering

This textbook, which has become the leading source for empirical software engineering research through its earlier editions, provides an in-depth introduction to experimentation in software engineering. T…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 85,33*

Agile Processes in Software Engineering and Extreme Programming

This open access book constitutes the proceedings of the 25th International Conference on Agile Software Development, XP 2024, which took place in Bozen-Bolzano, Italy, during June 04-07, 2024. XP is the…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 43,80*

Agile Processes in Software Engineering and Extreme Programming ¿ Workshops

Lecture Notes in Business Information Processing -Band 489

This open access book constitutes papers from the research workshops presented at XP 2022 and XP 2023, respectively the 23rd and 24th International Conferences on Agile Software Development, held on June …

lieferbar innerhalb 2-3 Wochen

Buch

EUR 43,80*

Software Engineering for Games in Serious Contexts

The book highlights several challenges and opportunities in the field of software engineering for serious games. It covers a wide range of topics from game design principles to software architecture, test…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 175,23*

Data Analytics in System Engineering

Lecture Notes in Networks and Systems -Band 910

These proceedings offer an insightful exploration of integrating data analytics in system engineering. This book highlights the essential role of data in driving innovation, optimizing processes, and solv…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 175,23*

Data Analytics in System Engineering

Lecture Notes in Networks and Systems -Band 935

These proceedings offer an insightful exploration of integrating data analytics in system engineering. This book highlights the essential role of data in driving innovation, optimizing processes, and solv…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 197,13*

Software Engineering Methods Design and Application

Lecture Notes in Networks and Systems -Band 1118

This book dives into contemporary research methodologies, emphasising the innovative use of machine learning and statistical techniques in software engineering. Exploring software engineering and its inte…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 219,03*

Design Tools and Methods in Industrial Engineering III

Lecture Notes in Mechanical Engineering

This book gathers original peer-reviewed papers reporting on innovative methods and tools in design, modeling, simulation and optimization, and their applications in engineering design, manufacturing, and…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 273,80*

Design Tools and Methods in Industrial Engineering III

Lecture Notes in Mechanical Engineering

This book gathers original peer-reviewed papers reporting on innovative methods and tools in design, modeling, simulation and optimization, and their applications in engineering design, manufacturing, and…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 197,13*

Prasanna Swaminathan, S. P. Venkateshan
Computational Methods in Engineering

The book is designed to serve as a textbook for courses offered to graduate and upper-undergraduate students enrolled in mechanical engineering. The book attempts to make students with mathematical backgr…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 128,00*

Peter Wriggers, Bla¿ Hudobivnik, Fadi Aldakheel
Virtual Element Methods in Engineering Sciences

This book provides a comprehensive treatment of the virtual element method (VEM) for engineering applications, focusing on its application in solid mechanics. Starting with a continuum mechanics backgroun…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 175,23*

Integral Methods in Science and Engineering

This volume contains a collection of articles on state-of-the-art developments in the construction of theoretical integral techniques and their application to specific problems in science and engineering.…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 219,03*

Computer Methods in Biomechanics and Biomedical Engineering II

Lecture Notes in Computational Vision and Biomechanics -Band 39

This book gathers selected, extended and revised contributions to the 18th International Symposium on Computer Methods in Biomechanics and Biomedical Engineering, held on May 3-5, 2023, at Arts Et Métiers…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 164,28*

Domain Decomposition Methods in Science and Engineering XXVII

Lecture Notes in Computational Science and Engineering -Band 149

These are the proceedings of the 27th International Conference on Domain Decomposition Methods in Science and Engineering, which was held in Prague, Czech Republic, in July 2022. Domain decomposition meth…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 219,03*

Domain Decomposition Methods in Science and Engineering XXVI

These are the proceedings of the 26th International Conference on Domain Decomposition Methods in Science and Engineering, which was hosted by the Chinese University of Hong Kong and held online in Decemb…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 219,03*

Formal Methods In Software Engineering – alle Bücher

Wir konnten keine exakten Treffer zu Ihrer Suche nach "Formal Methods in Software Engineering" finden. Könnten diese Produkte zu Ihrer Suche passen?